extern void print(char*);
